g:OGrp. Inverse(|g|;*;e;~) 

latex

Up	groups 1
Definitions of Statement	Mon, AbMon, OCMon, OGrp
Definitions	True, T, t  T, x:A. B(x), P  Q, Mon, AbMon, SqStable(P), OCMon, OGrp
Lemmas	ocgrp wf, grp inv wf, grp id wf, grp op wf, grp car wf, sq stable inverse